First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
991	I N S T I T U T I O N T H E O RY A N D A P P L I C AT I O N S ˘ Z VA N D I A C O N E S C U RA Add to Reading List Source URL: imar.ro Language: English - Date: 2014-05-21 03:45:34 Model theory Theoretical computer science Many-valued logic Institution Classical logic Universal logic Formal semantics First-order logic Alexander Grothendieck Logic Mathematics Mathematical logic
992	LOCAL ORDER PROPERTY IN NONELEMENTARY CLASSES RAMI GROSSBERG AND OLIVIER LESSMANN Add to Reading List Source URL: www.math.cmu.edu Language: English - Date: 1999-02-12 17:07:53 Logic Compactness theorem First-order logic Spectrum Stable theory Stability spectrum Spectral theory of ordinary differential equations Shrewd cardinal Model theory Mathematical logic Metalogic
993	A New System of Axioms Instead of ZF (ver[removed]Use a Latin font such as Times New Roman, please.] [If not word-wrapped, see "Word-wrap" of HELP in your software.] Add to Reading List Source URL: hp.vector.co.jp Language: English - Date: 2004-09-05 11:07:18 Axioms of set theory Z notation Urelements Zermelo–Fraenkel set theory Constructible universe Axiom of choice First-order logic Axiom Function Mathematical logic Logic Mathematics
994	Bisimulation and Language Equivalence Colin Stirling Division of Informatics University of Edinburgh email: [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 09:51:25 Mathematics Theoretical computer science Bisimulation Logic in computer science Models of computation Philosophical logic Interpretation First-order logic Structure Logic Mathematical logic Model theory
995	The Joys of Bisimulation Colin Stirling Department of Computer Science, University of Edinburgh, Edinburgh EH9 3JZ, UK, email: [removed] Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:00:26 Models of computation Theoretical computer science Model theory Logic in computer science Philosophical logic Bisimulation F-coalgebra Modal logic First-order logic Logic Mathematical logic Mathematics
996	Discourse Representation in Context Jan van Eijck and Hans Kamp January 7, 2010 Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 08:04:45 Philosophy of language Discourse representation theory Donkey sentence Anaphora Free variables and bound variables Binding Antecedent First-order logic Interpretation Linguistics Semantics Syntax
997	Context and the Composition of Meaning Jan van Eijck ([removed]) CWI and ILLC, Amsterdam, Uil-OTS, Utrecht Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 12:44:43 Mathematical logic Predicate logic Elementary mathematics Model theory Quantification Discourse representation theory Variable Function First-order logic Logic Mathematics Semantics
998	The Gamut of Dynamic Logics∗ Jan van Eijck† and Martin Stokhof‡ 15th July 2005 Abstract Dynamic logic, broadly conceived, is the logic that analyses change by decomposing actions into their basic building blocks an Add to Reading List Source URL: homepages.cwi.nl Language: English - Date: 2010-11-17 11:26:53 Philosophical logic Model theory Non-classical logic Dynamic logic Epistemic modal logic Kripke semantics First-order logic Hoare logic Actor model Logic Mathematical logic Modal logic
999	Edward N. Zalta Essence and Modality∗ Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2011-11-28 19:53:20 Model theory Predicate logic Lambda calculus Metalogic Category theory First-order logic Fixed-point combinator Interpretation Function Logic Mathematical logic Mathematics
1000	Edward N. Zalta Natural Numbers and Natural Cardinals as Abstract Objects: A Partial Reconstruction of Frege’s Grundgesetze in Object Theory∗ Edward N. Zalta† Add to Reading List Source URL: mally.stanford.edu Language: English - Date: 2012-10-25 17:28:23 Predicate logic Model theory Lambda calculus Metalogic Object theory First-order logic Function Field Functor Mathematics Mathematical logic Logic

UPDATE